Refactoring Delta-Oriented Product Lines to achieve Monotonicity

机译：重构面向Delta的产品线以实现单调性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ferruccio Damiani; Michael Lienhardt;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On checking delta-oriented product lines of statecharts [J] . Lienhardt Michael, Damiani Ferruccio, Testa Lorenzo, Science of Computer Programming . 2018,第NOVa15期

机译：关于检查状态图的面向增量的产品线
2. Incremental model checking of delta-oriented software product lines [J] . Malte Lochau, Stephan Mennicke, Hauke Baller, Journal of Logic and Algebraic Programming . 2015,第1PTa2期

机译：面向增量软件产品线的增量模型检查
3. A Formal Foundation for Dynamic Delta-Oriented Software Product Lines [J] . Ferruccio Damiani, Luca Padovani, Ina Schaefer ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第3期

机译：面向动态Delta的软件产品线的正式基础
4. Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking [C] . Ferruccio Damiani, Michael Lienhardt International symposium on leveraging applications of formal method, verification and validation . 2016

机译：重构面向Delta的产品线以实施有效的类型检查准则
5. State of Refactoring Adoption: Towards Better Understanding Developer Perception of Refactoring [D] . AlOmar, Eman Abdullah. 2021

机译：重构采用的状态：更好地了解开发人员对重构的感知
6. A plug-and-play pathway refactoring workflow for natural product research in Escherichia coli and Saccharomyces cerevisiae [O] . Hengqian Ren, Pingfan Hu, Huimin Zhao -1

机译：用于大肠杆菌和酿酒酵母中天然产物研究的即插即用途径重构工作流程
7. Refactoring Delta-Oriented Product Lines to achieve Monotonicity [O] . Damiani, Ferruccio, Lienhardt, Michael 2016

机译：重构面向Delta的产品线以实现单调性
8. Ada Compiler Validation Summary Report: Certificate Number: 940325S1.11353 DDC-I, DACS Sun SPARC/Solaris to Pentium PM Bare Ada Cross Compiler System with Rate Monotonic Scheduling, Version 4.6.4 Sun SPARCclassic => Intel Pentium (operated as Bare Machine) based in Xpress Desktop (Intel product number: XBASE6E4F-B). [R] . 1994

机译：ada编译器验证摘要报告：证书编号：940325s1.11353 DDC-I，DaCs sun spaRC / solaris到pentium pm Bare ada交叉编译器系统，带速率单调调度，版本4.6.4 sun spaRCclassic => Intel pentium（作为裸机操作）基于Xpress Desktop（英特尔产品编号：XBasE6E4F-B）。

Refactoring Delta-Oriented Product Lines to achieve Monotonicity

著录项

引文网络

相似文献

相关主题

期刊订阅